Dating Cyclical Turning Points for Russia: Formal Methods and Informal Choices

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Methods for the Informal World

Satelite image of the Burning Man Festival in the Black Rock Desert (USA), dedicated to community, art, self-expression, and self-reliance. Satellite image courtesy of GeoEye. Poster design: SuperNova Studios . NL The Lorentz Center is an international center in the sciences. Its aim is to organize workshops for scientists in an atmosphere that fosters collaborative work, discussions and intera...

متن کامل

Formal and Informal Methods for Multi-Core Design Space Exploration

We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the...

متن کامل

Detecting Cyclical Turning Points: the ABCD Approach and Two Probabilistic Indicators

The intricate issue of detecting and forecasting turning points of macroeconomic cycles has been one more time well illustrated recently with the global downturn experienced by most countries around the world in 2000-2001. Governments and Central Banks are very sensitive to economic indicators showing signs of deterioration in order to adjust their policies sufficiently in advance to avoid more...

متن کامل

Combining Formal and Informal Methods in the Design of Spacecrafts

In this chapter, we summarize our experience on combing formal and informal methods together in the design of spacecrafts. With our approach, the designer can either build an executable model of a spacecraft using the industrial standard environment Simulink/Stateflow, which facilitates analysis by simulation, or construct a formal model using Hybrid CSP (HCSP), which is an extension of CSP for...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SSRN Electronic Journal

سال: 2016

ISSN: 1556-5068

DOI: 10.2139/ssrn.2720134